Send the following on WhatsApp
Continue to ChatComputing Answer Sets Using Model Generation Theorem Provers - https://avesis.metu.edu.tr/yayin/73b506ed-ec82-4e05-a276-ec1e0d273225/computing-answer-sets-using-model-generation-theorem-provers
Computing Answer Sets Using Model Generation Theorem Provers - https://avesis.metu.edu.tr/yayin/73b506ed-ec82-4e05-a276-ec1e0d273225/computing-answer-sets-using-model-generation-theorem-provers